Small CCC’s as Logical Forms for LFG Glue Semantics
نویسنده
چکیده
In this brief note I will present a way to adapt the ‘semantic interpretation as a functor’ idea introduced independently but in similar forms by Lambek (1988) and Dougherty (1993) for Categorial Grammar to the rather different environment of LFG glue semantics’ (Dalrymple (2001), Asudeh (2004) and many other works). Pollard Pollard (2004) presents a somewhat different conception of semantic interpretation as a functor in his framework of ‘Higher Order Grammar’, but I wont look into that here.
منابع مشابه
Proof-nets as Logical Forms for LFG
Although ‘glue semantics’ appears to be generally accepted as LFG’s present account of semantic composition, its uptake amongst LFG practitioners doesn’t actually seem to be that extensive (and a number of well-known syntacticians have claimed to me that they are pretty much baffled by it). A possible reason for this is that the standard presentation of glue is based on term-assigning deduction...
متن کاملInput and Glue in OT-LFG
In glue logic (Dalrymple 1999, 2001, Asudeh 2004), LFG has found a reasonably stable but developing method for connecting syntactic structures to formal semantic intepretation. However current formulations of glue logic make the rather unsatisfactory move of divorcing grammatical features from any intrinsic connection with what are usually regarded as their meanings. Rather than directly connec...
متن کاملDerivation of temporal preposition meanings in LFG ' sglue - language
This paper investigates the deductive derivation of the semantics of temporal preposition phrases in English in the framework of the glue-language approach as developed for LFG. The meanings of temporal preposition phrases can be given as functions which we call temporal generalized quantiiers, as developed in a companion paper using a more traditional syntax-semantics interface. We show that t...
متن کاملGlueTag Linear Logic based Semantics for LTAG
We review existing appoaches to semantics construction in LTAG (Lexicalised Tree Adjoining Grammar) based on the notion of derivation (tree)s. We argue that derivation structures in LTAG are not appropriate to guide semantic composition, due to a non-isomorphism, in LTAG, between the syntactic operation of adjunction on the one hand, and the semantic operations of complementation and modificati...
متن کاملGlueTag Linear Logic based Semantics Construction for LTAG
In this paper we review existing appoaches to semantics construction in LTAG (Lexicalised Tree Adjoining Grammar) which are all based on the notion of derivation (tree)s. We argue that derivation structures in LTAG are not appropriate to guide semantic composition, due to a non-isomorphism, in LTAG, between the syntactic operation of adjunction on the one hand, and the semantic operations of co...
متن کامل